🔗 Dependent Types - hello · Scour

Resolving Names Once and for All

thunderseethe.dev·1d·

Discuss: r/programming

🦀Rust Macros

From Zero to QED: An informal introduction to formality in Lean 4

sdiehl.github.io·1d

💎Refinement Types

Prompts are becoming Code, but we still treat them like Strings

dev.to·16h·

Discuss: DEV

💬Prompt Engineering

Port of Statistical Rethinking (2nd edition) code to Julia

shmuma.github.io·3h·

Discuss: Hacker News

📊Data Science

GHC 9.12.3 is now available

haskell.org·1d

📐Type Theory

the myth of multitasking and other things i learned today

lollar.bearblog.dev·6h

⏭️Skip Lists

Introducing Pkl, a programming language for configuration

pkl-lang.org·5h

💎Refinement Types

blog.senko.net·4h

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·1d

🔄Concurrency

A Validated Semantics for LLVM IR

sf.snu.ac.kr·13h

Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho

v5.chriskrycho.com·2h

ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.

github.com·6h·

Discuss: Hacker News

🏭Code Generation

Regression by Composition

lesswrong.com·1d

🧠Machine Learning

<p>**Abstract:** This paper introduces a novel framework, Automated Protocol Refinement for Enhanced Algorithm Validation (APREAV), to significantly improve the...

freederia.com·14h

Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski

play.google.com·2d·

Discuss: r/cpp

🔨Incremental Compilation

Any useful resources for improving the quality of the vscode projects?

addyo.substack.com·6h·

Discuss: r/vscode

💬Prompt Engineering

The Case for Snake Case: A Kolmogorov Complexity Argument

modulovalue.com·1d·

Discuss: Hacker News

📝Parser Combinators

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)

arxiv.org·3d

🛡️Error Handling

I began this project about two months ago.

reddit.com·8h·

Discuss: r/houseplants

🌿Digital Gardens

TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation

trunajod20.readthedocs.io·9h

Loading more...